We are using cookies This website uses cookies in order to offer you the most relevant information. By browsing this website, you accept these cookies.
Na lógica proposicional, uma tautologia (do grego ταυτολογία) é uma fórmula proposicional que é verdadeira para todas as possíveis valorações de suas variáveis proposicionais.